Carla Seatzu: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Long term nurse scheduling via a decision support system based on linear integer programming: A case study at the University Hospital in Cagliari

Zanda, Simone, Zuddas, Paola, Seatzu, Carla

Journal:

Computers & Industrial Engineering

Year:

2018

Language:

english

File:

PDF, 978 KB

english, 2018

2

State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*

Alessandro Giua, Daniele Corona, Carla Seatzu

Journal:

Discrete Event Dynamic Systems

Year:

2005

Language:

english

File:

PDF, 481 KB

english, 2005

3

Decentralized estimation of Laplacian eigenvalues in multi-agent systems

Franceschelli, Mauro, Gasparri, Andrea, Giua, Alessandro, Seatzu, Carla

Journal:

Year:

2013

Language:

english

File:

PDF, 627 KB

english, 2013

4

[IEEE 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) - Munich (2018.8.20-2018.8.24)] 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) - A Game-theoretical Design Technique for Multi-stage Supply Chains under Uncertainty

Cavone, Graziana, Dotoli, Mariagrazia, Epicoco, Nicola, Morelli, Davide, Seatzu, Carla

Year:

2018

Language:

english

File:

PDF, 8 KB

english, 2018

5

Distributed Averaging in Sensor Networks Based on Broadcast Gossip Algorithms

Franceschelli, Mauro, Giua, Alessandro, Seatzu, Carla

Journal:

IEEE Sensors Journal

Year:

2011

Language:

english

File:

PDF, 455 KB

english, 2011

6

Optimal sensor selection for ensuring diagnosability in labeled Petri nets

Cabasino, Maria Paola, Lafortune, Stéphane, Seatzu, Carla

Journal:

Year:

2013

Language:

english

File:

PDF, 798 KB

english, 2013

7

Design of a Predictive Semiactive Suspension System

Giua, Alessanro, Melas, Mauro, Seatzu, Carla, Usai, Giampaolo

Journal:

Vehicle System Dynamics

Year:

2004

Language:

english

File:

PDF, 760 KB

english, 2004

8

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions

Basile, Francesco, Cabasino, Maria Paola, Seatzu, Carla

Journal:

IEEE Transactions on Automatic Control

Year:

2015

Language:

english

File:

PDF, 214 KB

english, 2015

9

Semiactive Suspension Design with an Optimal Gain Switching Target

Giua, Alessandro, Seatzu, Carla, Usai, Giampaolo

Journal:

Vehicle System Dynamics

Year:

1999

Language:

english

File:

PDF, 337 KB

english, 1999

10

Fast discrete consensus based on gossip for makespan minimization in networked systems

Franceschelli, Mauro, Giua, Alessandro, Seatzu, Carla

Journal:

Year:

2015

Language:

english

File:

PDF, 738 KB

english, 2015

11

Probabilistic Marking Estimation in Labeled Petri Nets

Cabasino, Maria Paola, Hadjicostis, Christoforos N., Seatzu, Carla

Journal:

IEEE Transactions on Automatic Control

Year:

2015

Language:

english

File:

PDF, 353 KB

english, 2015

12

Diagnosability analysis of an ABS system modeled using Petri nets

Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 284 KB

english, 2012

13

Verification of State-Based Opacity Using Petri Nets

Tong, Yin, Li, Zhiwu, Seatzu, Carla, Giua, Alessandro

Journal:

IEEE Transactions on Automatic Control

Year:

2016

Language:

english

File:

PDF, 1.18 MB

english, 2016

14

Decidability of opacity verification problems in labeled Petri net systems

Tong, Yin, Li, Zhiwu, Seatzu, Carla, Giua, Alessandro

Journal:

Year:

2017

Language:

english

File:

PDF, 682 KB

english, 2017

15

Marking Observer in Labeled Petri Nets With Application to Supervisory Control

Cabasino, Maria Paola, Hadjicostis, Christoforos N., Seatzu, Carla

Journal:

IEEE Transactions on Automatic Control

Year:

2017

Language:

english

File:

PDF, 931 KB

english, 2017

16

A Decision Making Procedure for Robust Train Rescheduling based on Mixed Integer Linear Programming and Data Envelopment Analysis

Cavone, Graziana, Dotoli, Mariagrazia, Epicoco, Nicola, Seatzu, Carla

Journal:

Applied Mathematical Modelling

Year:

2017

Language:

english

File:

PDF, 960 KB

english, 2017

17

Decentralized observability of discrete event systems with synchronizations

Giua, Alessandro, Mahulea, Cristian, Seatzu, Carla

Journal:

Year:

2017

Language:

english

File:

PDF, 758 KB

english, 2017

18

[IEEE 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Miyazaki, Japan (2018.10.7-2018.10.10)] 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Liveness Enforcement for a Class of Petri Nets via Resource Allocation

You, Dan, Wang, Shouguang, Dou, Hao, Duo, Wenli, Barkaoui, Kamel, Seatzu, Carla

Year:

2018

Language:

english

File:

PDF, 306 KB

english, 2018

19

Design of Modern Supply Chain Networks Using Fuzzy Bargaining Game and Data Envelopment Analysis

Cavone, Graziana, Dotoli, Mariagrazia, Epicoco, Nicola, Morelli, Davide, Seatzu, Carla

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2020

File:

PDF, 987 KB

2020

20

Optimal control of discrete-time hybrid automata under safety and liveness constraints

Carla Seatzu, Dmitry Gromov, Jörg Raisch, Daniele Corona, Alessandro Giua

Journal:

Nonlinear Analysis: Theory, Methods & Applications

Year:

2006

Language:

english

File:

PDF, 610 KB

english, 2006

21

Special issue on analysis and design of hybrid systems

Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2008

Language:

english

File:

PDF, 112 KB

english, 2008

22

Fault detection for discrete event systems using Petri nets with unobservable transitions

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Journal:

Year:

2010

Language:

english

File:

PDF, 579 KB

english, 2010

23

Optimal control of hybrid automata: design of a semiactive suspension

Daniele Corona, Alessandro Giua, Carla Seatzu

Journal:

Control Engineering Practice

Year:

2004

Language:

english

File:

PDF, 494 KB

english, 2004

24

Special Section: IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’06)

Christos Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon

Journal:

Control Engineering Practice

Year:

2008

Language:

english

File:

PDF, 79 KB

english, 2008

25

Firing rate optimization of cyclic timed event graphs by token allocations

Alessandro Giua, Aldo Piccaluga, Carla Seatzu

Journal:

Year:

2002

Language:

english

File:

PDF, 218 KB

english, 2002

26

Observer-controller design for cranes via Lyapunov equivalence

Alessandro Giua, Carla Seatzu, Giampaolo Usai

Journal:

Year:

1999

Language:

english

File:

PDF, 227 KB

english, 1999

27

Decentralized controllers design for open-channel hydraulic systems via eigenstructure assignment

Journal:

Applied Mathematical Modelling

Year:

2000

Language:

english

File:

PDF, 329 KB

english, 2000

28

A decentralized volume variations observer for open channels

Carla Seatzu, Giampaolo Usai

Journal:

Applied Mathematical Modelling

Year:

2002

Language:

english

File:

PDF, 303 KB

english, 2002

29

Design and robustness analysis of decentralized constant volume-control for open-channels

Journal:

Applied Mathematical Modelling

Year:

1999

Language:

english

File:

PDF, 507 KB

english, 1999

30

Discrete, continuous and hybrid petri nets, René David and Hassane Alla, Springer, Berlin, Heidelberg, 2005, ISBN 3-540-22480-7

Journal:

International Journal of Robust and Nonlinear Control

Year:

2005

Language:

english

File:

PDF, 83 KB

english, 2005

31

Contributing Authors

Shigemasa Takai, Toshimitsu Ushio, Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Alessandro Giua, Daniele Corona, Carla Seatzu

Journal:

Discrete Event Dynamic Systems

Year:

2005

Language:

english

File:

PDF, 759 KB

english, 2005

32

Identification of Petri Nets from Knowledge of Their Language

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Journal:

Discrete Event Dynamic Systems

Year:

2007

Language:

english

File:

PDF, 568 KB

english, 2007

33

DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems

Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon

Journal:

Discrete Event Dynamic Systems

Year:

2008

Language:

english

File:

PDF, 134 KB

english, 2008

34

Decidability results in First–Order Hybrid Petri Nets

Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu

Journal:

Discrete Event Dynamic Systems

Year:

2001

Language:

english

File:

PDF, 140 KB

english, 2001

35

A Mixed Suspension System for a Half-Car Vehicle Model

Alessandro Giua, Carla Seatzu, Giampaolo Usai

Journal:

Dynamics and Control

Year:

2000

Language:

english

File:

PDF, 472 KB

english, 2000

36

Quantized consensus in Hamiltonian graphs

Mauro Franceschelli, Alessandro Giua, Carla Seatzu

Journal:

Year:

2011

Language:

english

File:

PDF, 504 KB

english, 2011

37

MARKING ESTIMATION OF PETRI NETS WITH PAIRS OF NONDETERMINISTIC TRANSITIONS

Alessandro Giua, Carla Seatzu, Jorge Júlvez

Journal:

Asian Journal of Control

Year:

2004

Language:

english

File:

PDF, 413 KB

english, 2004

38

[Lecture Notes in Control and Information Sciences] Control of Discrete-Event Systems Volume 433 || Supervisory Control with Partial Observations

Seatzu, Carla, Silva, Manuel, van Schuppen, Jan H.

Year:

2013

Language:

english

File:

PDF, 466 KB

english, 2013

39

Modelling and simulation of manufacturing systems with first-order hybrid Petri nets

Balduzzi, Fabio, Giua, Alessandro, Seatzu, Carla

Journal:

International Journal of Production Research

Year:

2001

Language:

english

File:

PDF, 624 KB

english, 2001

40

Stabilization of switched systems via optimal control

Corona, Daniele, Giua, Alessandro, Seatzu, Carla

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2014

Language:

english

File:

PDF, 414 KB

english, 2014

41

[Lecture Notes in Control and Information Sciences] Control of Discrete-Event Systems Volume 433 || Introduction to Petri Nets

Seatzu, Carla, Silva, Manuel, van Schuppen, Jan H.

Year:

2013

Language:

english

File:

PDF, 472 KB

english, 2013

42

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - Decentralized Laplacian eigenvalues estimation for networked multi-agent systems

Franceschelli, Mauro, Gasparri, Andrea, Giua, Alessandro, Seatzu, Carla

Year:

2009

Language:

english

File:

PDF, 1.13 MB

english, 2009

43

[Lecture Notes in Control and Information Sciences] Control of Discrete-Event Systems Volume 433 || The On-Line Diagnosis of Time Petri Nets

Seatzu, Carla, Silva, Manuel, van Schuppen, Jan H.

Year:

2013

Language:

english

File:

PDF, 628 KB

english, 2013

44

[IEEE 2010 IEEE International Conference on Systems, Man and Cybernetics - SMC - Istanbul, Turkey (2010.10.10-2010.10.13)] 2010 IEEE International Conference on Systems, Man and Cybernetics - Fault diagnosis of manufacturing systems using continuous Petri nets

Cabasino, Maria Paola, Seatzu, Carla, Mahulea, Cristian, Silva, Manuel

Year:

2010

Language:

english

File:

PDF, 880 KB

english, 2010

45

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - New results for fault detection of untimed continuous Petri nets

Seatzu, Carla, Cabasino, Maria Paola, Mahulea, Cristian, Silva, Manuel

Year:

2009

Language:

english

File:

PDF, 1.06 MB

english, 2009

46

[IEEE 2009 IEEE International Conference on Control Applications (CCA) - St. Petersburg, Russia (2009.07.8-2009.07.10)] 2009 IEEE International Conference on Control Applications - Fault diagnoser design for untimed continuous Petri nets

Seatzu, Carla, Mahulea, Cristian, Cabasino, Maria Paola, Silva, Manuel

Year:

2009

Language:

english

File:

PDF, 962 KB

english, 2009

47

[IEEE 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Krakow, Poland (2012.09.17-2012.09.21)] Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Marking estimation of fuzzy Petri nets

Cabasino, Maria Paola, Dotoli, Mariagrazia, Seatzu, Carla

Year:

2012

Language:

english

File:

PDF, 321 KB

english, 2012

48

Gossip algorithms for heterogeneous multi-vehicle routing problems

Franceschelli, Mauro, Rosa, Daniele, Seatzu, Carla, Bullo, Francesco

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2013

Language:

english

File:

PDF, 721 KB

english, 2013

49

Petrinetze und die Steuerung Ereignisdiskreter Systeme

Giua, Alessandro, Seatzu, Carla

Journal:

Informatik-Spektrum

Year:

2014

Language:

german

File:

PDF, 793 KB

german, 2014

50

Fault model identification and synthesis in Petri nets

Cabasino, Maria Paola, Giua, Alessandro, Hadjicostis, Christoforos N., Seatzu, Carla

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 833 KB

english, 2015